141. Advances in modal logic
پدیدآورنده : editors Frank Wolter... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Modality )Logic(
رده :
BC
199
.
M6A39
142. Advances in modal logic
پدیدآورنده : / edited by Marcus Kracht ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Modality (Logic)- Congresses
رده :
BC199
.
M6
,
A38
1998
143. Advances in neural networks - ISNN 2013 :
پدیدآورنده : Chengan Guo, Zeng-Guang Hou, Zhigang Zeng (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Neural networks (Computer science),Neural networks (Computer science) -- Congresses.
رده :
QA76
.
87
C446
9999
144. Advances in plan-based control of robotic agents :
پدیدآورنده : Michael Beetz [and others], eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Autonomous robots -- Congresses.,Intelligent agents (Computer software) -- Congresses.,Robots -- Control systems -- Congresses.
145. Advances in plan-based control of robotic agents :
پدیدآورنده : Michael Beetz [and others], eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Autonomous robots -- Congresses.,Intelligent agents (Computer software) -- Congresses.,Robots -- Control systems -- Congresses.
146. Advances in practical applications of survivable agents and multi-agent systems :
پدیدآورنده : Yves Demazeau, Eric Matson, Juan Manuel Corchado, Fernando De la Prieta (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Cooperating objects (Computer systems), Congresses.,Multiagent systems, Congresses.,Cooperating objects (Computer systems),Multiagent systems.
رده :
QA76
.
76
.
I58
I58
2019
147. Advances in proof theory
پدیدآورنده : Reinhard Kahle, Thomas Strahm, Thomas Studer, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Proof theory
رده :
QA
9
.
54
.
A39
148. Advances in soft computing :
پدیدآورنده : Ildar Batyrshin, Grigori Sidorov (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Soft computing, Congresses
رده :
QA76
.
9
.
S63
M49
2011
149. Advances in statistical sciences. Volume V, Biostatistics :
پدیدآورنده : edited by Ian B. MacNeill [and three others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Biometry -- Congresses.,Biometry.
150. Advances in swarm intelligence. Part 1 :
پدیدآورنده : Ying Tan, Yuhui Shi, Hongwei Mo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Swarm intelligence -- Congresses.,Swarm intelligence.
151. Advances in technological applications of logical and intelligent systems :
پدیدآورنده : edited by Germano Lambert-Torres ... [et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Logic, Symbolic and mathematical, Congresses
152. Advances in visual computing :
پدیدآورنده : George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Matt Turek, Srikumar Ramalingam, Kai Xu, Stephen Lin, Bilal Alsallakh, Jing Yang, Eduardo Cuervo, Jonathan Ventura (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer graphics, Congresses.,Computer vision, Congresses.,Artificial intelligence.,Computer graphics.,Computer networking & communications.,Computer security.,Computer vision.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Image processing.,Pattern recognition.
رده :
Q337
.
5
153. Agents for games and simulations II :
پدیدآورنده : Frank Dignum (edition)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Multiagent systems, Congresses
رده :
QA76
.
76
.
I58
A34
2011
154. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"
پدیدآورنده : Delaram Kahrobaei, Bren Cavallo, David Garber, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics
رده :
QA
9
.
A1A42
155. Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia
پدیدآورنده : edited by J. N. Crossley
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings
رده :
QA
3
.
L28
Vol
.
450
156. Algebra and logic: papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings
رده :
QA
3
.
L28
no
.
450
157. Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
پدیدآورنده : edited by J. N. Crossley
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings
رده :
QA
1
.
L4
v
.
450
158. Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
پدیدآورنده : edited by J. N. Crossley
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Group theory,Congresses ، Commutative rings
رده :
QA
9
.
A4
1975
159. Algebra and logic: papers from the 1974 summer research institute of the Australian mathematical-Society, Monash University Australia
پدیدآورنده : edited by J.N.Crossley
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Groups, Theory of,Congresses ، Commutative rings
رده :
QA
3
.
L28
no
.
450
160. Algebraic Coding Theory and Information Theory: DIMACS Workshop Algeraic Coding Theory and Information Theory, Desember 15-18, 2003 Rugers University, Piscataway, New Jersey
پدیدآورنده : / A.Ashikhmin, A. Barg, Editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Information theory in mathematics -- Congresses,Coding Theory -- Congresses,Algebracie logic -- Congresses
رده :
QA10
.
4
.
A44
2005
